大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Logics of Programs Workshop (1983 : Carnegie Mellon University) 的图书(共3598本)

Digital Cities III. Information Technologies for Social Capital: Cross-cultural Perspectives [electronic resource] : Third International Digital Cities Workshop, Amsterdam, The Netherlands, September 18-19, 2003. Revised Selected Papers

0
索取号：
作者：Besselaar、 Peter.、Koizumi、 Satoshi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Agents and Peer-to-Peer Computing [electronic resource] : Second International Workshop, AP2PC 2003, Melbourne, Australia, July 14, 2003, Revised and Invited Papers

0
索取号：
作者：Moro、 Gianluca.、Sartori、 Claudio.、Singh、 Munindar P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

The University as a Business? [electronic resource]

0
索取号：
作者：Rondo-Brovetto、 Paolo.、Saliterer、 Iris.、SpringerLink (Online service)、
出版社：Wiesbaden : VS Verlag f眉r Sozialwissenschaften, 2011.

Spectral Theory, Mathematical System Theory, Evolution Equations, Differential and Difference Equations [electronic resource] : 21st International Workshop on Operator Theory and Applications, Berlin, July 2010

0
索取号：
作者：Arendt、 Wolfgang.、Ball、 Joseph A.、Behrndt、 Jussi.、F枚rster、 Karl-Heinz.、Mehrmann、 Volker.、Trunk、 Carsten.、SpringerLink (Online service)、
出版社：Basel : Springer Basel : Imprint: Birkh盲user, 2012.

Elementary Operators and Their Applications [electronic resource] : 3rd International Workshop held at Queen's University Belfast, 14-17 April 2009

0
索取号：
作者：Curto、 Ra煤l E.、Mathieu、 Martin.、SpringerLink (Online service)、
出版社：Basel : Springer Basel, 2011.

Arrangements, Local Systems and Singularities [electronic resource] : CIMPA Summer School, Galatasaray University, Istanbul, 2007

0
索取号：
作者：Zein、 Fouad.、Suciu、 Alexandru I.、Tosun、 Meral.、Uluda臒、 A. Muhammed.、Yuzvinsky、 Sergey.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2010.

Pseudo-Differential Operators: Complex Analysis and Partial Differential Equations [electronic resource] : International Workshop, York University, Canada, August 4鈥謠2008

0
索取号：
作者：Schulze、 Bert-Wolfgang.、Wong、 M. W.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2010.

Operator Algebras, Operator Theory and Applications [electronic resource] : 18th International Workshop on Operator Theory and Applications, Potchefstroom, July 2007

0
索取号：
作者：Grobler、 J. J.、Labuschagne、 L. E.、M枚ller、 M.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2010.

Topics in Operator Theory [electronic resource] : Volume 2: Systems and Mathematical Physics Proceedings of the XIXth International Workshop on Operator Theory and its Applications, College of William and Mary, 2008

0
索取号：
作者：Ball、 Joseph A.、Bolotnikov、 Vladimir.、Rodman、 Leiba.、Spitkovsky、 Ilya M.、Helton、 J. William.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2010.

Topics in Operator Theory [electronic resource] : Volume 1: Operators, Matrices and Analytic Functions Proceedings of the XIXth International Workshop on Operator Theory and its Applications, College of William and Mary, 2008

0
索取号：
作者：Ball、 Joseph A.、Bolotnikov、 Vladimir.、Rodman、 Leiba.、Helton、 J. William.、Spitkovsky、 Ilya M.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2010.

Verification of Sequential and Concurrent Programs [electronic resource]

0
索取号：
作者：Apt、 Krzysztof R.、Boer、 Frank S.、Olderog、 Ernst-R眉diger.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Bridging the Gap to University Mathematics [electronic resource]

0
索取号：
作者：Hurst、 Edward.、Gould、 Martin.、SpringerLink (Online service)、
出版社：London : Springer London, 2009.

Value-Range Analysis of C Programs [electronic resource] : Towards Proving the Absence of Buffer Overflow Vulnerabilities

0
索取号：
作者：Simon、 Axel.、SpringerLink (Online service)、
出版社：London : Springer London, 2008.

Advances in Life Cycle Engineering for Sustainable Manufacturing Businesses [electronic resource] : Proceedings of the 14th CIRP Conference on Life Cycle Engineering, Waseda University, Tokyo, Japan, June 11th鈥᳴h, 2007

0
索取号：
作者：Takata、 Shozo.、Umeda、 Yasushi.、SpringerLink (Online service)、
出版社：London : Springer London, 2007.

Communities and Technologies 2007 [electronic resource] : Proceedings of the Third Communities and Technologies Conference, Michigan State University 2007

0
索取号：
作者：Steinfield、 Charles.、Pentland、 Brian T.、Ackerman、 Mark.、Contractor、 Noshir.、SpringerLink (Online service)、
出版社：London : Springer London, 2007.

EC2ND 2006 [electronic resource] : Proceedings of the Second European Conference on Computer Network Defence, in conjunction with the First Workshop on Digital Forensics and Incident Analysis Faculty of Advanced Technology, University of Glamorgan, Wales, UK

0
索取号：
作者：Blyth、 Andrew.、Sutherland、 Iain.、SpringerLink (Online service)、
出版社：London : Springer London, 2007.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院